nLab essentially bounded function

Redirected from "essentially bounded functions".
Essentially bounded functions

Essentially bounded functions

Definition

Let XX be a measure space, or at least a measurable space equipped with a δ\delta-filter of full sets (or a σ\sigma-ideal of null sets). Let YY be a bornological set.

A function from XX (or from a full subset of XX) to YY is essentially bounded if it is almost equal to a bounded function from XX to YY. That is, for some full subset EE of XX, the direct image f(E)f(E) is a bounded subset of YY. (Here we equip XX, and indeed equip every full subset of XX, with the trivial bornology according to which every set is bounded.)

If YY also has the structure of a measurable space, then we typically require an essentially bounded function to be measurable, although technically this is an independent property. (We can always equip YY with the trivial measurable structure according to which only the empty subset and the improper subset are measurable; then every function to YY is measurable.)

The quotient set of essentially bounded measurable functions from XX to YY modulo almost equality is denoted L (X,Y)L^\infty(X,Y). With L (X)L^\infty(X), we typically take YY to be the real line equipped with the Borel-measurable sets, or occasionally the complex plane. With L L^\infty, we typically take XX to be the real line equipped with the Lebesgue-measurable sets.

Properties

Given any measure space XX, L (X,)L^\infty(X,\mathbb{R}) and L (X,)L^\infty(X,\mathbb{C}) are (real and complex) Lebesgue spaces with p=p = \infty, hence Banach spaces. In fact, they are Banach algebras, indeed C *C^*-algebras. At least when XX is localizable, they are in fact W *W^*-algebras. (Note that the involution ** is trivial when the target is \mathbb{R}.) Of course, they are commutative; L (X,)L^\infty(X,\mathbb{R}) may also be viewed as an associative JB-algebra (thus a JBW-algebra if XX is localizable).

Conversely, every commutative complex W *W^*-algebra is, up to isomorphism of W *W^*-algebras, of the form L (X,)L^\infty(X,\mathbb{C}) for some localizable measure space XX; the same goes for L (X,)L^\infty(X,\mathbb{R}) and commutative real W *W^*-algebras with trivial involution. In fact, we have more: a dual equivalence between the category of localizable measure spaces (or rather, localizable measurable spaces, as the morphisms —taken up to almost equality, of course— need not respect the measure, except for the full and null sets) and the category of commutative complex W *W^*-algebras (or the category of commutative real W *W^*-algebras with trivial involution, or the category of associative real JBWJBW-algebras).

Uselessness

Arguably, we do not need the concept of essentially bounded function; it is sufficient to consider bounded partial functions with full domains, that is almost functions. Traditionally, measure theory uses total functions, but it cares about them only up to almost equality, so almost functions are a natural concept. In constructive analysis, one must use almost functions, since then not every partial function can necessarily be extended to a total function.

Nevertheless, essentially bounded functions are traditional.

Created on October 29, 2013 at 10:55:03. See the history of this page for a list of all contributions to it.